برنامج هيلبرت أمثلة على

أمثلة

وتستخدم لتظهر أنه من المستحيل بوساطة برنامج هيلبرت إيجاد مجموعة كاملة من البديهيات لكل علم الرياضيات، وبالتالي إعطاء جواب سلبي لمسألة هلبرت الثانية.